automated reasoning tool
[网络] 自动推理工具
热门查询
- surveillance n. 监督；监视
- obstetric adj. 产科的；生产的，分娩的
- pring [人名] 普林; [地名] [柬埔寨] 波灵
- Landes n. 兰德斯（姓氏）
- restyle vt. 使改变款式；重塑
- hypoglossal n. 舌下神经 adj. 舌下的；舌下神经的
- nonentity n. 不存在；虚无；无足轻重的人
- Based On un. 基准样式 [网络] 基于；以…为基础；根据
- fluence n. （神秘的）影响；[物] 积分通量
- cyberterrorism n. 网络恐怖主义
- dictatorship n. 专政；独裁权；独裁者职位
- doctrinal adj. 学说的，教义的；教诲的
- dispersion n. 散布；[统计][数] 离差；驱散
- tube n. 管；电子管；隧道；电视机 vt. 使成管状；把…装管；用管输送 vi. 乘地铁；不及格
- stylization n. 格式化；仿效；因袭
- obnoxious adj. 讨厌的；可憎的；不愉快的
- disdainful adj. 轻蔑的；倨傲的；鄙视的
- formative n. 构词要素 adj. 形成的；造型的；格式化的
- disdain n. 蔑视 vt. 鄙弃
- parting n. 分手；分离；分界点 adj. 离别的；分开的；逝去的 v. 分开；断裂；离去（part的ing形式） n. (Parting)人名；(德、瑞典)帕尔廷
